• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۹ پاسخ غیر تکراری از ۹ پاسخ تکراری در مدت زمان ۰,۸۴ ثانیه یافت شد.

1. Compositional Verification of Concurrent and Real-Time Systems

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by Eric Y. T. Juan, Jeffrey J. P. Tsai.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.

Classification :

2. Dependable Computing for Critical Applications 2

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by John F. Meyer, Richard D. Schlichting.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Electronic data processing.,Software engineering.

Classification :
QA76
.
9
.
F38
E358
1992

3. Euro-Par 2011 Parallel Processing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.

Classification :

4. Facing the Multicore - Challenge II

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems

Classification :

5. Formal Methods for Distributed System Development :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Electronic data processing.,Software engineering.

Classification :

6. High Integrity Software

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Victor L. Winter, Sourav Bhattacharya.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Electronic data processing.,Software engineering.,Systems theory.

Classification :

7. Optimierung objektorientierter Programme :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: von Martin Trapp.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Electronic data processing.,Software engineering.

Classification :

8. Techniken der objektorientierten Softwareentwicklung

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: herausgegeben von Jörg Noack.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Electronic data processing.,Software engineering.

Classification :

9. Uncertainty Quantification in Scientific Computing:

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Andrew M Dienstfrey

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Electronic data processing.,Software engineering.

Classification :
Q375
.
A537
2012
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival